Automatic Synchronization Correction
نویسندگان
چکیده
منابع مشابه
Automatic Synchronization Correction for Atomicity
Multithreaded programs are notoriously prone to synchronization errors. Much prior work has tackled the problem of detecting such errors. This paper focuses on the subsequent problem of synchronization correction. We present a constraint-based analysis that, given an erroneous program, automatically infers (where possible) what additional locking operations should be inserted in order to yield ...
متن کاملAdaptation to tempo changes in sensorimotor synchronization: effects of intention, attention, and awareness.
Adaptation to tempo changes in sensorimotor synchronization is hypothesized to rest on two processes, one (phase correction) being largely automatic and the other (period correction) requiring conscious awareness and attention. In this study, participants tapped their finger in synchrony with auditory sequences containing a tempo change and continued tapping after sequence termination. Their in...
متن کاملDelay and synchronization control middleware to support real-time multimedia services over wireless PCS networks
This paper presents a discussion of several middleware design issues related to the support of real-time multimedia communications over wireless personal communication services (PCS) networks. Specific interests are given to error recovery and synchronization mechanisms. A hybrid automatic repeat request (ARQ) scheme is employed for error control in the proposed system because it can efficientl...
متن کاملNeurophysiological correlates of error correction in sensorimotor-synchronization.
In a sensorimotor synchronization task requiring subjects to tap in synchrony with an auditory stimulus, occasional perturbations (i.e., interval changes) in an otherwise isochronous sequence of auditory metronome stimuli are known to be compensated remarkably swift and with surprising precision, even when they are too small to be consciously perceived. To investigate the neural substrate and t...
متن کاملModel-Based Debugging using Multiple Abstract Models
This paper introduces an automatic debugging framework that relies on model–based reasoning techniques to locate faults in programs. In particular, model–based diagnosis, together with an abstract interpretation based conflict detection mechanism is used to derive diagnoses, which correspond to possible faults in programs. Design information and partial specifications are applied to guide a mod...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007